حقیقت قضیة حقیقیه و نسبت آن با وجود موضوع

منطق دانان حملیة محصوره را به حقیقیه و خارجیه تقسیم کرده اند؛ حقیقیه آن است که موضوع ملاک حمل محمول بر موضوع است. موضوعات حقیقیه چهار دسته اند: یک دسته از این موضوعات وجودند که احکام بدون فرض و تقدیر بر تمام افرادش بار می شود و در سه دستة دیگر از موضوعات بدون آنکه برای همه یا برخی از افراد آن فرض وجود شود حکم صادق نخواهیم داشت. حقیقیه، هر چند مساوق با متصله است، بدان بر نمی گردد، زیرا در حملیه تعلیقی در کار نیست و در متصله حکم تعلیقی است.